sin(2x) = cos(x)